Resolving Quartz Overloading
نویسندگان
چکیده
Quartz is a new declarative hardware description language with polymorphism, overloading, higher-order combinators and a relational approach to data flow, supporting formal reasoning for design verification in the same style as the Ruby language. The combination of parametric polymorphism and overloading within the language involves the implementation of a system of constrained types. This paper describes how Quartz overloading is resolved using satisfiability matrix predicates. Our algorithm is a new approach to overloading designed specifically for the requirements of describing hardware in Quartz.
منابع مشابه
Automatic Generation of Application Specific Processor Libraries from a High Level Description
Application Specific Instruction Processors (ASIPs) provide enhanced performance by directly implementing application segments in hardware as custom instructions. Recent work [1, 2] automates generation of custom instructions from application source code. Speedups of up to 6 times [3] are attainable for certain benchmarks. However, instructions generated from C are often restricted to small clu...
متن کاملResolving API Mentions in Informal Documents
Developer forums contain opinions and information related to the usage of APIs. API names in forum posts are often not explicitly linked to their official resources. Automatic linking of an API mention to its official resources can be challenging for various reasons, such as, name overloading. We present a technique, ANACE, to automatically resolve API mentions in the textual contents of forum ...
متن کاملFabrication of a hybrid PDMS/SU-8/quartz microfluidic chip for enhancing UV absorption whole-channel imaging detection sensitivity and application for isoelectric focusing of proteins.
A poly(dimethylsiloxane)(PDMS)/SU-8/quartz hybrid chip was developed and applied in the isoelectric focusing (IEF) of proteins with ultraviolet (UV) absorbance-based whole-channel imaging detection (UV-WCID). Each hybrid chip was made of three layers: a PDMS flat top substrate, a bottom quartz substrate and a middle layer of SU-8 photoresist. The SU-8 serves two purposes: it contains the microc...
متن کاملTime-Dependent Signatures of Acoustic Wave Biosensors
Acoustic wave devices coated with a biolayer represent one biosensor approach for the detection of medically relevant biomolecules. In a typical application, the acoustic wave device is connected in an oscillator circuit, and the frequency shift f resulting from a biomolecular event is recorded. In this paper, we discuss our recent work in this field, which has included the use of Rayleigh wave...
متن کاملSupplementary Methods for the Paper Transcript Assembly and Quantification by Rna-seq Reveals Unannotated Transcripts and Isoform Switching during Cell Differentiation
List of Figures ii List of Tables ii 1. Sequencing experiment 1 2. Mapping fragments to the genome 1 2.1. Discovering splice junctions 2 2.2. Resolving multiple alignments for fragments 2 3. Transcript abundance estimation 4 3.1. Definitions 4 3.2. A statistical model for RNA-Seq 4 3.3. Estimation of parameters 8 3.4. Assessment of abundance estimation 12 4. Transcript assembly 15 4.1. Overview...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005